منابع مشابه
A Type System for Computer Algebra
This paper presents a type system for support of subtypes, parameterized types with sharing and categoriesin a computeralgebra environment.By modelingrepresentationof instances in terms of existential types, we obtain a simpliied model, and build a basis for deening subtyping among algebraic domains. The inheritance at category level has been formalized; this allows the automatic inference of t...
متن کاملTowards Type System by Computer Algebra Systems
Computer Algebra Systems (CAS) have been expanding the application area from fundamental science such as mathematics and physics to applied technologies such as mechanics, electronics, and financial engineering. However, it is still under way to integrate CAS features with Programming Language (PL) features, and we presume it is because the differences between these two computation models are s...
متن کاملA Computer Algebra System
Systems of polynomial equations appear throughout mathematics, science, and engineering, but solving them is widely considered to be part of numerical analysis, not computer algebra or algebraic geometry. Due to rounding errors, though, purely numerical methods often are unstable in unpredictable ways. They usually don’t find all solutions and frequently have problems with overdetermined system...
متن کاملA System for Parallel Computer Algebra Programs
Small problems in computer algebra can be done with moderate time and storage. However, even simply stated problems of medium size can be very expensive to compute. Many such problems run out of storage or take excessive time. Large problems, if they can be done at all, can take hours. As in many other fields, we run into the question as to what is the most economical way to obtain raw processi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1995
ISSN: 0747-7171
DOI: 10.1006/jsco.1995.1006